s4 is solvable